home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tsql.mail / 000029_csj@iesd.auc.dk _Wed Mar 10 01:02:14 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  4KB

  1. Received: from iesd.auc.dk by optima.cs.arizona.edu (5.65c/15) via SMTP
  2.     id AA25018; Tue, 9 Mar 1993 17:02:25 MST
  3. Received: from yellow.iesd.auc.dk by iesd.auc.dk with SMTP id AA18548
  4.   (5.65c8/IDA-1.5/MD for <tsql@cs.arizona.edu>); Wed, 10 Mar 1993 01:02:14 +0100
  5. Date: Wed, 10 Mar 1993 01:02:14 +0100
  6. From: "Christian S. Jensen" <csj@iesd.auc.dk>
  7. Message-Id: <199303100002.AA18548@iesd.auc.dk>
  8. To: tsql@cs.arizona.edu
  9. Subject: Updated glossary entries.
  10.  
  11. Dear colleague,
  12.  
  13. Earlier this year, it was requested that two concepts from the initial
  14. glossary that appeared in SIGMOD Record be generalized slightly.
  15. Below, I include proposals for such generalized, revised entries.
  16.  
  17. As always, comments and new proposals are welcome.
  18.  
  19. Best regards,
  20. Christian
  21.  
  22. Comment: The definition has been revised to include n-d chronons, and
  23. some discussion has been moved from the definition to the discussion
  24. section (to obtain a short, dictionary-like definition).
  25.  
  26. \subsection{Chronon}
  27.  
  28. \entry{Definition}
  29.  
  30. In one dimension, a {\em chronon} is the shortest duration of time
  31. supported by a temporal DBMS, i.e., a nondecomposable unit of time. A
  32. particular one-dimensional chronon is a subinterval of fixed duration
  33. on a time-line. An $n$-dimensional chronon is a non-decomposable
  34. region in $n$-dimensional time. Important special types of chronons
  35. include valid-time, transaction-time, and bitemporal chronons.
  36.  
  37. \entry{Alternative Names}
  38.  
  39. Instant, moment, time quantum, time unit.
  40.  
  41. \entry{Discussion}
  42.  
  43. Various models of time have been proposed in the philosophical and
  44. logical literature of time (e.g., van Benthem). These view time, among
  45. other things, as discrete, dense, or continuous. Intuitively, discrete
  46. models of time are isomorphic to the natural numbers, i.e., there is
  47. the notion that every moment of time has a unique successor. Dense
  48. models of time are isomorphic to (either) the real or rational
  49. numbers: between any two moments of time there is always another.
  50. Continuous models of time are isomorphic to the real numbers, i.e.,
  51. both dense and also, unlike the rational numbers, with no ``gaps.''
  52.  
  53. ``Instant'' and ``moment'' invite confusion between a {\em point} in
  54. the continuous model and a nondecomposable {\em unit} in the discrete
  55. model ($-$E8). Clocking instruments invariably report the occurrence
  56. of events in terms of time intervals, not time ``points.'' Hence,
  57. events, even so-called ``instantaneous'' events, can best be measured
  58. as having occurred during an interval ($-$E9). ``Time quantum'' is
  59. precise, but is longer and more technical than ``chronon'' ($-$E2).
  60. ``Time unit'' is perhaps less precise~($-$E9).
  61.  
  62.  
  63. Comment: To be consistent with other entries, multidimensional
  64. intervals are used rather than rectangles and boxes. To obtain a
  65. shorter definition, material has been moved to the discussion section.
  66. Finally, chronons are mentioned in the discussion.
  67.  
  68. \subsection{Temporal Element}
  69.  
  70. \entry{Definition}
  71.  
  72. A {\em temporal element} is a finite union of $n$-dimensional
  73. intervals. Special cases of temporal elements include {\em valid-time
  74. elements}, {\em transaction time elements}, and {\em bitemporal
  75. elements}. They are finite unions of valid-time intervals,
  76. transaction-time intervals, and bitemporal intervals, respectively.
  77.  
  78. \entry{Alternative Names}
  79.  
  80. Temporal element.
  81.  
  82. \entry{Discussion}
  83.  
  84. Observe that temporal elements are closed under the set theoretic
  85. operations of union, intersection and complementation. Temporal
  86. elements are often used as timestamps. A temporal element may be
  87. represented by a set of chronons.
  88.  
  89. A valid time element was previously termed a temporal element.
  90. However, for the naming to be consistent with the remainder of the
  91. glossary, ``temporal'' is reserved as a generic modifier, and more
  92. specific modifiers are adopted.